(set-logic ALL)
(set-info :status unsat)
(declare-const x Bool)
(declare-const a String)
(declare-const a4 String)
(assert (= a4 "-"))
(assert (str.in_re (str.++ a4 a a4) re.allchar))
(assert (= x (str.in_re a re.allchar)))
(check-sat)
